_require local "../../../../basis.smi"
_require "../../../libs/toolchain/main/Filename.smi"

structure UserFileMap =
struct
  exception Load of {msg : string, lineno : int}
  type map (= boxed)
  val load : Filename.filename -> map
  val find : map * Filename.filename -> Filename.filename option
  val fromList : (Filename.filename * Filename.filename) list -> map
end
